Skip to content

Conversation

@eldruin
Copy link
Member

@eldruin eldruin commented Feb 7, 2025

Fixes #23

@eldruin eldruin requested a review from a team as a code owner February 7, 2025 11:13
@eldruin eldruin changed the title Update Some basic updates Feb 7, 2025
sirhcel
sirhcel previously approved these changes Nov 12, 2025
Copy link
Member

@sirhcel sirhcel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me. Thank you very much for all the effort!

Co-authored-by: Christian Meusel <christian.meusel@posteo.de>
Copy link
Member

@sirhcel sirhcel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! Thank you!

@eldruin eldruin added this pull request to the merge queue Nov 13, 2025
Merged via the queue into rust-embedded:master with commit 5c3bf3e Nov 13, 2025
18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Clean up CI targets

3 participants